Equivalence relation - PDFSEARCH.IO - Document Search Engine

Equivalence relation
Results: 323

#	Item
81	THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS ´ FINNUR LARUSSON Abstract. We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure. Add to Reading List Source URL: www.maths.adelaide.edu.au Language: English - Date: 2007-04-22 23:25:56 Category theory Mathematics Model category Fibration Weak equivalence Homotopy category Adjoint functors Simplicial set Equivalence relation Abstract algebra Homotopy theory Topology
82	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
83	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
84	A von Neumann algebra free proof of solid ergodicity for Bernoulli shifts Descriptive Set Theory Workshop ESI, October 2013 Robin D. Tucker-Drob Rutgers University Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2013-10-03 02:34:21 Mathematical analysis Probability and statistics Bernoulli scheme Ergodicity Borel equivalence relation Descriptive set theory Stochastic processes Statistics Ergodic theory
85	IJMMR International Journal of Management and Marketing Research VOLUME 6 NUMBER 1 Add to Reading List Source URL: www.theibfr.com Language: English - Date: 2013-09-06 03:12:50 Statistics Educational psychology Knowledge Anthropology Dichotomies Emic and etic Scale Equivalence relation Validity Psychometrics Market research Science
86	INTERSECTION THEORY Contents 1. Introduction 2. Conventions 3. Cycles Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:26 Chow ring Intersection theory Adequate equivalence relation Flat morphism Ample line bundle Intersection number Proper morphism Sheaf Algebraic cycle Abstract algebra Algebraic geometry Geometry
87	AUSTRALIA’S WORLD HERITAGE PLACES - curriculum links - years 7 & 8 Add to Reading List Source URL: laptop.deh.gov.au Language: English - Date: 2010-05-18 01:09:53 X Equivalence relation Mathematical analysis Software Freedesktop.org X Window System
88	Invariants for equivalence of finite automata Mike Spivey Let S = (S, Σ, δS , s0 , FS ) and T = (T , Σ, δT , t0 , FT ) be two deterministic finite automata with the same alphabet Σ. We say S and T are equivalent if, Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2010-02-09 12:35:41 Equivalence relation Structure Deterministic finite automaton If and only if Complementation of Büchi automaton Finite state transducer Automata theory Mathematics Models of computation
89	Some Mathematical Case Studies in ProofPower-HOL R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:00 Algebraic structures Homotopy theory Mathematical structures Symmetry General topology Equivalence relation Group action Continuous function Groupoid Mathematics Topology Abstract algebra
90	PDF Document Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2013-12-08 12:57:35 Borel set Borel equivalence relation Borel measure Support Cayley graph Invariant measure Schröder–Bernstein theorem for measurable spaces System of imprimitivity Mathematical analysis Mathematics Descriptive set theory

UPDATE